/* Page basic skeleton */
body {
  padding-top: 50px;
}

#wrapper .content {
  padding: 20px 15px;
}

/* Minor tweaks for navibar elements */
.navbar-right .navbar-btn {
  margin-left: 5px;
}

.navbar .userinfo .dropdown-toggle {
  padding-top: 10px;
  padding-bottom: 10px;
  line-height: 30px;
}

.navbar .userinfo img {
  margin-right: 5px;
}

.navbar .userinfo .dropdown-menu {
  width: 120px;
}

/* The flashed messages bar */
#wrapper .flash-messages {
}

/* generic pagination bar */
.pagination {
  margin-left: auto;
  margin-right: auto;
}

/* styles specialized for forms that occupy the whole page */
#wrapper .content .form-single {
  max-width: 480px;
  padding: 15px;
  margin: 0 auto;
}

.form-single .form-heading {
  margin-bottom: 20px;
}

.form-single button[type=submit] {
  margin-top: 10px;
}

/* Site description at index page for anonymous users */
.content-index #site-description {
  margin-top: 20px;
}
.content-index #site-description p {
  padding-top: 10px;
}
.content-index #site-description a {
  margin-right: 10px;
}

/* page headings */
.content-index .hw-heading,
.content-homework .hw-heading,
.content-handins .handin-heading,
.content-hwhandins .handin-heading,
.content-handin_detail .detail-heading,
.content-profile_edit .form-heading,
.content-admin_users .user-heading,
.content-admin_user_edit .form-heading,
.content-admin_handins .handin-heading,
.content-admin_scores .hw-heading,
.content .csv-heading,
.content .maintain-heading {
  padding-bottom: 20px;
}

/* tweak for homework list page */
.content-index .hw-languages span {
  margin-right: 5px;
}

.content-index .hw-deadline .hw-ddl-date {
  display: inline;
}

/* tweak for homework detail page */
.content-homework .hw-attach .lang {
  padding-right: 20px;
  display: inline;
}

.content-homework .hw-attach .lang .size {
  padding-left: 5px;
  color: gray;
}

/* tweak for handin detail page */
.content-handin_detail .label {
  left: 5px;
  top: -3px;
  position: relative;
}

/* Tweak for profile edit page */
#timezone-wrapper .twitter-typeahead {
  display: block;
  width: 100%;
}

#timezone-wrapper .tt-dropdown-menu {
  width: 100%;
}

/* Tweak coverage report */
table.coverage-total,
table.objschema,
table.inputclass {
  border: 1px solid #CCC;
  margin: 10px 0 10px 0;
}
table.coverage pre {
  background: none !important;
  border: none !important;
  padding: 0px !important;
  margin: 0px !important;
}
table.coverage {
  border: 1px solid #CCC;
  margin: 10px 0 10px 0;
}
table.coverage tr,
table.coverage tr td {
  border: none;
}
table.coverage tr,
table.coverage tr td {
  margin: 0px;
  padding-top: 0px;
  padding-bottom: 0px;
}

/* Common styles for TOC */
ul.affix,
ul.affix-top,
ul.affix-bottom {
  position: fixed;
  right: 40px;
  width: 220px;
}
 
/* First level of TOC nav */
.sidenav {
  margin-top: 20px;
  margin-bottom: 30px;
  padding-top:    10px;
  padding-bottom: 10px;
  background-color: #f7f5fa;
  border-radius: 5px;
}
 
/* All levels of TOC nav */
.sidebar .nav > li > a {
  display: block;
  color: #716b7a;
  padding: 5px 20px;
}
.sidebar .nav > li > a:hover,
.sidebar .nav > li > a:focus {
  text-decoration: none;
  background-color: #e5e3e9;
}
.sidebar .nav > .active > a,
.sidebar .nav > .active:hover > a,
.sidebar .nav > .active:focus > a {
  font-weight: bold;
  color: #563d7c;
  background-color: transparent;
}
 
/* TOC Nav: second level */
.sidebar .nav .nav {
    display: none;
}
.sidebar .nav > li.active .nav {
    display:block;
}
.sidebar .nav .nav {
  margin-bottom: 8px;
}
.sidebar .nav .nav > li > a {
  padding-top:    3px;
  padding-bottom: 3px;
  padding-left: 30px;
  font-size: 90%;
}

/* Tweak the TOC of manuals */
/* Chrome and Safari will suffer a flash before bootstrap.js is loaded,
   unless use the following hacking to hide the sidenav until page is
   ready */
.content #toc-navigate .sidenav {
  visibility: hidden;
}
.content #toc-navigate .sidenav.affix,
.content #toc-navigate .sidenav.affix-top,
.content #toc-navigate .sidenav.affix-bottom {
  visibility: visible;
}

/* Tweak manual styles */
.manual section {
  margin-bottom: 20px;
}
.manual h1 {
  padding-bottom: 16px;
}
.manual h2 {
  padding-bottom: 12px;
}
.manual h3 {
  padding-bottom: 8px;
}
.manual p {
  line-height: 150%;
  padding-bottom: 5px;
  font-size: 16px;
}
